The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures
نویسنده
چکیده
The synthesis of programs as well as other synthetic tasks often end up with an unprovable, partially false conjecture. A successful subsequent synthesis attempt depends on determining why the conjecture is faulty and how it can be corrected. Hence, it is highly desirable to have an automated means for detecting and correcting faulty conjec-
منابع مشابه
Critique of Manuscript-Correction/ The Role of Editors in Presenting the Author: A review of Toghray Mashhadi's biography in his newly published Book of Essays, Fatima Mehri
The Role of Editors in Presenting the Author A Review of Toghray Mashhadi's Biography in His Newly Published Book of Essays Fatemeh Mehri Associate Professor of Persian Language and Literature, Shahid Beheshti University [email protected] Abstract Researchers in the field of editing and correction manuscripts consider the writing of introductions as part of the correction process. T...
متن کاملProof Plans for the Correction of False Conjectures
Theorem proving is the systematic derivation of a mathematical proof from a set of axioms by the use of rules of inference. We are interested in a related but far less explored problem: the analysis and correction of false conjectures, especially where that correction involves nding a collection of antecedents that, together with a set of axioms, transform non-theorems into theorems. Most faile...
متن کاملSome new families of definite polynomials and the composition conjectures
The planar polynomial vector fields with a center at the origin can be written as an scalar differential equation, for example Abel equation. If the coefficients of an Abel equation satisfy the composition condition, then the Abel equation has a center at the origin. Also the composition condition is sufficient for vanishing the first order moments of the coefficients. The composition conjectur...
متن کاملCorrection to: Intestinal Parasitic Infections in Patients Attending Gastrointestinal Clinics
Correction to: Intestinal Parasitic Infections in Patients Attending Gastrointestinal Clinics Niloofar Amin1, Hafez Fakheri2, Vahid Hossini2, Hajare Ziaei3, Azadeh Dadashi1, Bahman Rahimi4, Shirzad Gholami5 1 Medical Student, Student Research Committee, Faulty of Medicine, Mazandaran University of Medical Sciences, Sari, Iran 2 Professor, Department of Gastroenterology, Gut ...
متن کاملP-168: To Increase The Success of Assisted Reproductive Techniques with Iranian Traditional Medicine (ITM)
Background: The use of assisted reproductive technique has been common for more than two decades that the success of these methods depends on several factors. However, despite the advances of modern infertility treatment succeed rate remains low. And despite the fact that in many cases the cause of infertility is clear, but in many cases the cause is unknown. In Iranian Traditional Medicine the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000